3 D ec 1 99 4 POSSIBLE PCF ALGEBRAS

There exists a family {Bα}α<ω1 of sets of countable ordinals such that (1) maxBα = α, (2) if α ∈ Bβ then Bα ⊆ Bβ , (3) if λ ≤ α and λ is a limit ordinal then Bα ∩ λ is not in the ideal generated by the Bβ , β < α, and by the bounded subsets of λ, (4) there is a partition {An}∞n=0 of ω1 such that for every α and every n, Bα∩An is finite.